منابع مشابه
Statically Qualified Types in Timor
In earlier papers qualifying types were presented as a technique for dynamically qualifying objects in a general way. This paper considers how such types can be composed statically into the definitions of other types.
متن کاملTypes and Co-Types in Timor
A co-type is a type with instance methods and instance data which enhance the functionality of some other type (its "expanded" type). The instance methods of the co-type correspond approximately to constructors, class methods and binary methods of the expanded type in other class-based OO systems, and the instance data replaces class-based data. This unconventional approach was motivated by the...
متن کاملCoherence for qualified types
The meaning of programs in a language with implicit overloading can be described by translating them into a second language that makes the use of overloading explicit. A single program may have many distinct translations and it is important to show that any two translations are semantically equivalent to ensure that the meaning of the original program is well-defined. This property is commonly ...
متن کاملVirtual Types are Statically Safe
Point = fx,y: Integer;CompareType <= Point;equal(p: CompareType): Bool freturn (this.x=p.x) and (this.y=p.y);ggPoint = AbstractPoint fCompareType = Point;gColourPoint = AbstractPoint fc: Color;CompareType = ColourPoint;equal(p: CompareType): Bool freturn super.equal(p) and (this.c = p.c);gg Figure 13: A slight change xes the problemOn ...
متن کاملCovariantly Adjusting Co-Types in Timor
This paper extends the idea of co-types (described in a companion paper) to include the concept of adjustment hierarchies. An adjustment hierarchy provides a parallel hierarchy to a subtyping hierarchy of a type being expanded by the co-type. This has a number of advantages including the predefinition of co-types for subtypes of an expanded type, and allowing automatic covariant adjustment of p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Object Technology
سال: 2005
ISSN: 1660-1769
DOI: 10.5381/jot.2005.4.7.a5